Cachera, David: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE 2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI) - Portland, OR, USA (2019.11.4-2019.11.6)] 2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI) - Combining Constraint Languages via Abstract Interpretation

Talbot, Pierre, Cachera, David, Monfroy, Eric, Truchet, Charlotte

Year:

2019

Language:

english

File:

PDF, 1.87 MB

english, 2019

2

Acute postinfarction septal rupture: Long-term results

Loisance, Daniel Y., Lordez, Jean M., Deleuze, Philippe H., Dubois-Rande, Jean-Luc, Lellouche, David, Cachera, Jean-Paul

Journal:

The Annals of Thoracic Surgery

Year:

1991

Language:

english

File:

PDF, 912 KB

english, 1991

3

Inference of polynomial invariants for imperative programs: A farewell to Gröbner bases

Cachera, David, Jensen, Thomas, Jobin, Arnaud, Kirchner, Florent

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 1011 KB

english, 2014

4

Formal validation of data-parallel programs: a two-component assertional proof system for a simple language

Luc Bougé, David Cachera, Yann Le Guyadec, Gil Utard, Bernard Virot

Journal:

Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 2.18 MB

english, 1997

5

Long-run cost analysis by approximation of linear operators over dioids

CACHERA, DAVID, JENSEN, THOMAS, JOBIN, ARNAUD, SOTIN, PASCAL

Journal:

Mathematical Structures in Computer Science

Year:

2010

Language:

english

File:

PDF, 628 KB

english, 2010

6

Verifying a Concurrent Garbage Collector with a Rely-Guarantee Methodology

Zakowski, Yannick, Cachera, David, Demange, Delphine, Petri, Gustavo, Pichardie, David, Jagannathan, Suresh, Vitek, Jan

Journal:

Journal of Automated Reasoning

Year:

2019

Language:

english

File:

PDF, 1.05 MB

english, 2019

7

Extracting a data flow analyser in constructive logic

David Cachera, Thomas Jensen, David Pichardie, Vlad Rusu

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 287 KB

english, 2005

8

Verification of safety properties for parameterized regular systems

Cachera, David, Morin-Allory, Katell

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2005

Language:

english

File:

PDF, 504 KB

english, 2005

9

[ACM Press the 18th Workshop - Rome, Italy (2016.07.17-2016.07.22)] Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs - FTfJP'16 - An Extended Buffered Memory Model With Full Reorderings

Cabon, Gurvan, Cachera, David, Pichardie, David

Year:

2016

File:

PDF, 416 KB

2016

10

[ACM Press the 33rd Annual ACM Symposium - Pau, France (2018.04.09-2018.04.13)] Proceedings of the 33rd Annual ACM Symposium on Applied Computing - SAC '18 - Verified compilation of linearizable data structures

Zakowski, Yannick, Cachera, David, Demange, Delphine, Pichardie, David

Year:

2018

Language:

english

File:

PDF, 1.15 MB

english, 2018

11

[ACM Press the 18th Workshop - Rome, Italy (2016.07.17-2016.07.22)] Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs - FTfJP'16 - An Extended Buffered Memory Model With Full Reorderings

Cabon, Gurvan, Cachera, David, Pichardie, David

Year:

2016

Language:

english

File:

PDF, 416 KB

english, 2016

12

PROVING DATA-PARALLEL PROGRAMS: A UNIFYING APPROACH

CACHERA, DAVID, UTARD, GIL

Journal:

Parallel Processing Letters

Year:

1996

Language:

english

File:

PDF, 645 KB

english, 1996

13

Computed Tomography of Thoracic Aortic Dissection

Vasile, Norbert, Mathieu, Didier, Keita, Kader, Lellouche, David, Bloch, Gérard, Cachera, Jean Paul

Journal:

Journal of Computer Assisted Tomography

Year:

1986

File:

PDF, 649 KB

1986

14

Quantitative Static Analysis Over Semirings: Analysing Cache Behaviour for Java Card

Pascal Sotin, David Cachera, Thomas Jensen

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 304 KB

english, 2006

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски